Rushby, John: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (DASC) - Seattle, WA, USA (2011.10.16-2011.10.20)] 2011 IEEE/AIAA 30th Digital Avionics Systems Conference - TTA and PALS: Formally verified design patterns for distributed cyber-physical systems

Steiner, Wilfried, Rushby, John

Year:

2011

Language:

english

File:

PDF, 342 KB

english, 2011

2

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation and Control Conference and Exhibit - Honolulu, Hawaii ()] AIAA Guidance, Navigation and Control Conference and Exhibit - How Do we Certify for the Unexpected?

Year:

2008

Language:

english

File:

PDF, 218 KB

english, 2008

3

Efficacy and cost of video-assisted thoracoscopic partial pleurectomy versus talc pleurodesis in patients with malignant pleural mesothelioma (MesoVATS): an open-label, randomised, controlled trial

Rintoul, Robert C, Ritchie, Andrew J, Edwards, John G, Waller, David A, Coonar, Aman S, Bennett, Maxine, Lovato, Eleonora, Hughes, Victoria, Fox-Rushby, Julia A, Sharples, Linda D

Journal:

Year:

2014

Language:

english

File:

PDF, 432 KB

english, 2014

4

[ACM Press the conference - New Orleans, Louisiana, United States (1991.12.04-1991.12.06)] Proceedings of the conference on Software for citical systems - SIGSOFT '91 - Formal verification of algorithms for critical systems

Rushby, John, von Henke, Friedrich

Year:

1991

Language:

english

File:

PDF, 1.51 MB

english, 1991

5

[ACM Press the thirteenth annual ACM symposium - Los Angeles, California, United States (1994.08.14-1994.08.17)] Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 - A formally verified algorithm for clock synchronization under a hybrid fault model

Year:

1994

Language:

english

File:

PDF, 1.00 MB

english, 1994

6

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - New challenges in certification for aircraft software

Year:

2011

Language:

english

File:

PDF, 489 KB

english, 2011

7

Religious Values and Viewpoints || Mennonites and Social Compassion: The Rokeach Hypothesis Reconsidered

William F. Rushby and John C. Thrush

Journal:

Review of Religious Research: The Official Journal of the Religious Research Association

Year:

1973

Language:

english

File:

PDF, 1.25 MB

english, 1973

8

Critical system properties: survey and taxonomy

Journal:

Reliability Engineering & System Safety

Year:

1994

Language:

english

File:

PDF, 3.51 MB

english, 1994

9

Analyzing Cockpit Interfaces Using Formal Methods

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 72 KB

english, 2001

10

An operational semantics for Stateflow

Grégoire Hamon, John Rushby

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 985 KB

english, 2007

11

The quality of research

Nick Rushby, John Cowan

Journal:

British Journal of Educational Technology

Year:

2006

Language:

english

File:

PDF, 38 KB

english, 2006

12

The learning credit card: A tool for managing personal development

Nick Rushby, John Twining, Nick Twining, Thomas Devitt

Journal:

British Journal of Educational Technology

Year:

2008

Language:

english

File:

PDF, 137 KB

english, 2008

13

Target-to-target interval, intensity, and P300 from an auditory single-stimulus task

Craig J. Gonsalvez, Robert J. Barry, Jacqueline A. Rushby, John Polich

Journal:

Psychophysiology

Year:

2007

Language:

english

File:

PDF, 185 KB

english, 2007

14

On the (f)utility of untrusted data sanitization

Gehani, Ashish, Hanz, David, Rushby, John, Denker, Grit, DeLong, Rance

Language:

english

File:

PDF, 387 KB

english

15

Using model checking to help discover mode confusions and other automation surprises

Journal:

Reliability Engineering & System Safety

Year:

2002

Language:

english

File:

PDF, 324 KB

english, 2002

16

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation and Control Conference and Exhibit - Honolulu, Hawaii ()] AIAA Guidance, Navigation and Control Conference and Exhibit - Formal Verification and Automated Testing for Diagnostic and Monitoring Systems

Dutertre, Bruno, Rushby, John, Tiwari, Ashish, Munoz, Cesar, Siminiceanu, Radu

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

17

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace Conference - Seattle, Washington ()] AIAA Infotech@Aerospace Conference - A Safety-Case Approach for Certifying Adaptive Systems

Year:

2009

Language:

english

File:

PDF, 294 KB

english, 2009

18

Probabilistic association learning in frontotemporal dementia and schizophrenia

Weickert, Thomas W., Leslie, Felicity, Rushby, Jacqueline A., Hodges, John R., Hornberger, Michael

Journal:

Year:

2013

Language:

english

File:

PDF, 465 KB

english, 2013

19

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - The MILS component integration approach to secure information sharing

Boettcher, Carolyn, DeLong, Rance, Rushby, John, Sifre, Wilmar

Year:

2008

Language:

english

File:

PDF, 729 KB

english, 2008

20

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect"

Littlewood, Bev, Rushby, John

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 426 KB

english, 2012

21

[IEEE Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007) - Miami Beach, FL, USA (2007.12.10-2007.12.14)] Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007) - Distributed Secure Systems: Then and Now

Randell, Brian, Rushby, John

Year:

2007

Language:

english

File:

PDF, 1.14 MB

english, 2007

22

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Just-in-Time Certification

Year:

2007

Language:

english

File:

PDF, 189 KB

english, 2007

23

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - Example of a Complementary Use of Model Checking and Agent-Based Simulation

Gelman, Gabriel E., Feigh, Karen M., Rushby, John

Year:

2013

Language:

english

File:

PDF, 305 KB

english, 2013

24

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Software Verification and System Assurance

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

25

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - What Use is Verified Software?

Year:

2007

Language:

english

File:

PDF, 164 KB

english, 2007

26

[ACM Press the 3rd international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 - Safety envelope for security

Tiwari, Ashish, Dutertre, Bruno, Jovanović, Dejan, de Candia, Thomas, Lincoln, Patrick D., Rushby, John, Sadigh, Dorsa, Seshia, Sanjit

Year:

2014

Language:

english

File:

PDF, 572 KB

english, 2014

27

[IEEE 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC - Anchorage, AK, USA (2011.10.9-2011.10.12)] 2011 IEEE International Conference on Systems, Man, and Cybernetics - Toward a multi-method approach to formalizing human-automation interaction and human-human communications

Bass, Ellen J., Bolton, Matthew L., Feigh, Karen, Griffith, Dennis, Gunter, Elsa, Mansky, William, Rushby, John

Year:

2011

Language:

english

File:

PDF, 706 KB

english, 2011

28

The enhanced HDM system for specification and verification

Melliar-Smith, Michael, Rushby, John

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

File:

PDF, 229 KB

1985

29

Example of a Complementary Use of Model Checking and Human Performance Simulation

Gelman, Gabriel, Feigh, Karen M., Rushby, John

Journal:

IEEE Transactions on Human-Machine Systems

Year:

2014

Language:

english

File:

PDF, 631 KB

english, 2014

30

Peer choice - does reviewer self-selection work?

Hartley, James, Cowan, John, Rushby, Nick

Journal:

Learned Publishing

Year:

2016

Language:

english

File:

PDF, 82 KB

english, 2016

31

[IEEE Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007) - Miami Beach, FL, USA (2007.12.10-2007.12.14)] Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007) - Distributed Secure Systems: Then and Now

Randell, Brian, Rushby, John

Year:

2007

Language:

english

File:

PDF, 1.14 MB

english, 2007

32

God's Blueprints: A Sociological Study of Three Utopian Sects

Rushby, William F., Whitworth, John M.

Journal:

Review of Religious Research: The Official Journal of the Religious Research Association

Year:

1977

Language:

english

File:

PDF, 594 KB

english, 1977

33

The Characteristics and Quality of Randomized Controlled Trials in Neuropathic Pain

Sauzet, Odile, Williams, John E., Ross, Joy, Branford, Ruth, Farquhar-Smith, Paul, Griffith, Gethin L., Fox-Rushby, Julia A., Peacock, Janet L.

Journal:

Clinical Journal of Pain

Year:

2013

Language:

english

File:

PDF, 134 KB

english, 2013

34

Subtypes for specifications

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 1.27 MB

english, 1997

35

Abstracts: 8th Annual Conference of the International Society for Quality of Life Research (ISOQOL) || The Reliability and Validity of a New Generic Measure of Health-Related Quality of Life for Use amongst the Kamba of Kenya

Annabel Bowden, Julia A. Fox-Rushby, Lilian Nyandieka and John W. Kangeri

Journal:

Quality of Life Research

Year:

2001

Language:

english

File:

PDF, 371 KB

english, 2001

36

Facial expressiveness and physiological arousal in frontotemporal dementia: Phenotypic clinical profiles and neural correlates

Kumfor, Fiona, Hazelton, Jessica L., Rushby, Jacqueline A., Hodges, John R., Piguet, Olivier

Journal:

Cognitive, Affective, & Behavioral Neuroscience

Year:

2018

Language:

english

File:

PDF, 3.97 MB

english, 2018

37

MesoTRAP: a feasibility study that includes a pilot clinical trial comparing video-assisted thoracoscopic partial pleurectomy decortication with indwelling pleural catheter in patients with trapped lung due to malignant pleural mesothelioma designed to address recruitment and randomisation uncertainties and sample size requirements for a phase III trial

Matthews, Claire, Freeman, Carol, Sharples, Linda D, Fox-Rushby, Julia, Tod, Angela, Maskell, Nicholas A, Edwards, John G, Coonar, Aman S, Sivasothy, Pasupathy, Hughes, Victoria, Rahman, Najib M, Wall

Journal:

BMJ Open Respiratory Research

Year:

2019

File:

PDF, 337 KB

2019

38

MesoTRAP: a feasibility study that includes a pilot clinical trial comparing video-assisted thoracoscopic partial pleurectomy decortication with indwelling pleural catheter in patients with trapped lung due to malignant pleural mesothelioma designed to address recruitment and randomisation uncertainties and sample size requirements for a phase III trial

Matthews, Claire, Freeman, Carol, Sharples, Linda D, Fox-Rushby, Julia, Tod, Angela, Maskell, Nicholas A, Edwards, John G, Coonar, Aman S, Sivasothy, Pasupathy, Hughes, Victoria, Rahman, Najib M, Wall

Journal:

BMJ Open Respiratory Research

Year:

2019

Language:

english

File:

PDF, 337 KB

english, 2019

39

Mechanized analysis of Anselmâs modal ontological argument

Journal:

International Journal for Philosophy of Religion

Year:

2020

File:

PDF, 469 KB

2020